Members
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

General chair, scientific chair

Jean-Michel Muller was the General Chair of ARITH'22, Lyon.

Member of the organizing committees

Bruno Salvy is a co-organizer with Alin Bostan of Alea'2016, Luminy.

Scientific events selection

Member of the conference program committees

Fabien Laguillaumie was a member of the program committee of WCC'15.

Benoît Libert was a member of the program committees of ACM-CCS'15, Eurocryp'15, PKC'15 and '16, Africacrypt'16.

Jean-Michel Muller was a member of the program committee of ASAP'2015.

Nathalie Revol was a member of the program committee of NRE1 at SuperComputing'15.

Bruno Salvy is a member of program committee of AofA'2016, Warsaw, Poland.

Damien Stehlé was member of the program committees of Latincrypt'15, Asiacrypt'15, PQCrypto'16, PKC'15 and '16. He is a member of the program committee of ANTS'16 and SCN'16.

Journal

Member of the editorial boards

Jean-Michel Muller is a member of the editorial board of the IEEE Transactions on Computers. He is a member of the board of foundation editors of the Journal for Universal Computer Science.

Bruno Salvy is a member of the editorial boards of the Journal of Symbolic Computation, of the Journal of Algebra (section Computational Algebra) and of the collections Texts and Monographs in Symbolic Computation (Springer) and Mathématiques et Applications (SMAI-Springer).

Gilles Villard is a member of the editorial board of the Journal of Symbolic Computation.

Invited talks

Claude-Pierre Jeannerod was an invited speaker at the MACIS conference (Sixth International Conference on Mathematical Aspects of Computer and Information Sciences, Berlin, November 2015).

Damien Stehlé gave two invited talks at the HEAT workshop on fully homomorphic encryption and multilinear maps, held in Paris in October. He gave an invited talk at a Sloan Foundation workshop on the mathematics of modern cryptography, which was held in Berkeley in July. He gave two invited talks at the summer school on real-world crypto and privacy that was held in Sibenik in June.

Leadership within the scientific community

Damien Stehlé is a member of the steering committee of the PQCrypto conference series. He is also a member of the steering committee of the Cryptography and Coding French research grouping (C2).

Claude-Pierre Jeannerod is a member of the scientific committee of JNCF (Journées Nationales de Calcul Formel).

Nathalie Revol is the chair of the IEEE 1788 group for the standardization of interval arithmetic: the general standard has been published in July 2015 (IEEE 1788-2015) and the work now addresses the set-based model (IEEE P1788.1). She was a member of a hiring committee at U. Montpellier 2 (MCF position). She is a member of the Equality-Parity Committee at Inria.

Scientific expertise

Jean-Michel Muller is a member of the Scientific Council of CERFACS (Toulouse). He was a member of the Scientific Council of the “La Recherche” prize for 2015.

Research administration

Guillaume Hanrot is director of the LIP laboratory (Laboratoire de l'Informatique du Parallélisme).

Jean-Michel Muller is co-director of the Groupement de Recherche (GDR) Informatique Mathématique of CNRS.